Petri net markup language: implementation and application
نویسنده
چکیده
We present a twofolded view to the Petri Net Markup Language (PNML). On the one hand we describe the current state of PNML seen while adopting PNML for an existing tool. The extension allows easy exchange of examples between the PEP tool and other Petri net tools. On the other hand we show how to benefit from the versatility of the Extensible Markup Language (XML). We present a translator from PNML to the Scalable Vector Graphics format (SVG), which may be used for display of Petri nets on the Web.
منابع مشابه
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language
The International Standard on Petri nets, ISO/IEC 15909, provides a formal semantics and syntax to enable model interchange and industrial dissemination. Part 2 defines a concrete interchange format as an XML-based language: PNML. This language is bound to evolve together with future developments of the standard. This paper presents PNML Framework, a companion implementation of the standard. It...
متن کاملInteroperable Petri net models via ontology
The paper presents a Petri net infrastructure that should allow sharing Petri nets on the Semantic Web. Previous solutions only provide model interchange mechanisms between Petri net tools. The Petri net ontology is a central part of our solution. The ontology is closely related to the Petri Net Markup Language (PNML) – an ongoing Petri net community sharing effort. We developed the Petri net o...
متن کاملGeospatially Constrained Workflow Modeling and Implementation
With rapid development and application of mobile internet, geographic information in the field of business process is now more widely used. There are more and more researches in the field of the relationships between geographic information and workflow modeling. According to the workflow with geospatial constraints, this paper first discusses the geospatial constraints theory deeply, proposes a...
متن کاملManaging Petri Nets in MOF Repositories
The necessity of interoperability among Petri net tools has led to the development of the PNML (Petri Net Markup Language) standard. By adopting PNML, tools mainly concentrated on modeling activities should generate PNML files to be analyzed by analysis-specific Petri net tools. In this context, we propose an extension to the PNML based on MOF (Meta Object Facility). The implementation of the M...
متن کاملWorkshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets
Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. The original definition of SANs has been used as a modeling formalism in several well-known and powerful modeling tools. SANs have been used to evaluate a wide range of systems, mainly for dependability and performability evaluation purposes. SAN models have not been considered in the definition of the Petri net ...
متن کامل